Value-Driven Code Motion
نویسندگان
چکیده
Value-driven code motion is an improvement to classical code motion techniques that takes advantage of the results of global value numbering. Traditional data-ow analysis frameworks must assume that every deenition produces a distinct value. Therefore, an instruction cannot move past a deenition of one of its subexpressions. This restriction can be relaxed when certain deenitions are known to produce redundant values. This information is discovered during value numbering, but previous techniques have not exploited it. By understanding how code motion interacts with global value numbering, we can simplify and improve the code motion framework. Our approach is to modify the data-ow framework to account for the assumption that each deenition represents a value rather than a lexical name. This approach can be applied to a variety of data-ow frameworks. In particular, this paper focuses on lazy code motion as proposed by Knoop, R uthing, and Steeen and modiied by Drechsler and Stadel 14, 15, 11]. That algorithm is provably optimal; this paper shows that by changing our assumptions about the shape of the input program, we can produce a technique that both eliminates more redundancies and runs more eeciently. We present experimental data that shows both these eeects.
منابع مشابه
Existence and Measurability of the Solution of the Stochastic Differential Equations Driven by Fractional Brownian Motion
متن کامل
Effect of Insulated Up and Down Lid Motion on the Heat Transfer of a Lid-Driven Cavity with an attached fin
This study investigates the effect of lid motion on the optimal characteristics a thin rectangular fin attached on the hot wall of a square lid-driven cavity with active vertical walls. The optimal fin position is studied for Richardson numbers of 0.1-10. The effect of mounting a rectangular fin with a thermal conductivity of 1 and 1000 on minimization and maximization of heat transfer through ...
متن کاملDynamics, Stability Analysis and Control of a Mammal-Like Octopod Robot Driven by Different Central Pattern Generators
In this paper, we studied numerically both kinematic and dynamic models of a biologically inspired mammal-like octopod robot walking with a tetrapod gait. Three different nonlinear oscillators were used to drive the robot’s legs working as central pattern generators. In addition, also a new, relatively simple and efficient model was proposed and investigated. The introduced model of the gait ge...
متن کاملAutomatic Generation of a Multi Agent System for Crisis Management by a Model Driven Approach
Considering the increasing occurrences of unexpected events and the need for pre-crisis planning in order to reduce risks and losses, modeling instant response environments is needed more than ever. Modeling may lead to more careful planning for crisis-response operations, such as team formation, task assignment, and doing the task by teams. A common challenge in this way is that the model shou...
متن کاملNetwork-driven motion estimation for wireless video terminals
Motion estimation has been shown to help significantly in the compression of video sequences. However, since most motion estimation algorithms require a large amount of computation, it is undesirable to use them in power constrained applications, such as battery-operated wireless video encoders. This paper describes a new compression algorithm, termed networkdriven motion estimation (NDME), whi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1995